// { dg-additional-options {-fmodule-header} }
// { dg-module-cmi {} }

static int bob (int x)
{
  return x;
}
